binary tetrahedral group造句
例句与造句
- The binary tetrahedral group is the covering group of the tetrahedral group.
- For example, let \ overline { T } be the binary tetrahedral group.
- The binary tetrahedral group, consisting of the 24 Hurwitz units, forms a normal subgroup of index 2.
- The quaternion group is a normal subgroup of the binary tetrahedral group U ( " H " ).
- PSL ( 2, 3 ) E " " A " 4, which can also be thought of as the binary tetrahedral group covering the tetrahedral group.
- It's difficult to find binary tetrahedral group in a sentence. 用binary tetrahedral group造句挺难的
- For example the binary icosahedral group covers the icosahedral group, an alternating group of degree 5, and the binary tetrahedral group covers the tetrahedral group, an alternating group of degree 4.
- The group of units in " L " is the order 8 quaternion group The group of units in " H " is a nonabelian group of order 24 known as the binary tetrahedral group.
- Thinking of the tetrahedral group as the alternating group on four letters, T \ cong A _ 4, we thus have the binary tetrahedral group as the covering group, 2T \ cong \ widehat { A _ 4 }.
- Discovered by G . C . Shephard in 1952, he represented it as 3 ( 24 ) 3, with its symmetry, Coxeter called as 3 [ 3 ] 3, isomorphic to the binary tetrahedral group, order 24.
- For example, the regular quaternionic lines are in a one-to-one correspondence with the finite subgroups of " U " 1 ( "'H "') : the binary cyclic groups, binary dihedral groups, binary tetrahedral group, binary octahedral group, and binary icosahedral group.
- The binary tetrahedral group is most easily described concretely as a discrete subgroup of the unit quaternions, under the isomorphism \ operatorname { Spin } ( 3 ) \ cong \ operatorname { Sp } ( 1 ) where Sp ( 1 ) is the multiplicative group of unit quaternions . ( For a description of this homomorphism see the article on quaternions and spatial rotations .)
- One can show that the binary tetrahedral group is isomorphic to the special linear group SL ( 2, 3 ) the group of all matrices over the finite field "'F "'3 with unit determinant, with this isomorphism covering the isomorphism of the projective special linear group PSL ( 2, 3 ) with the alternating group " A " 4.